Automated planning and scheduling

Results: 432



#Item
191Planning Domain Definition Language / Runtime verification / Coordination / Linear temporal logic / Modal logic / Temporal logic / Logic / Philosophical logic / Automated planning and scheduling

Flexible Execution of Partial Order Plans With Temporal Constraints

Add to Reading List

Source URL: tidel.mie.utoronto.ca

Language: English - Date: 2013-11-29 11:25:30
192Science / Automated planning and scheduling / Planner / Planning / Artificial intelligence / Internet / User interface / Archy / Logic programming / Computing / Technology / Virtual reality

Appears A Softbot-Based Oren

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2000-11-13 17:00:13
193Planning Domain Definition Language / NuSMV / Texas / Automated planning and scheduling / Action language / Geography of Texas

OBDD-based Planning with Real Variables in a Non-Deterministic Environment Anuj Goel and K. S. Barber Laboratory for Intelligent Processes and Systems The University of Texas At Austin

Add to Reading List

Source URL: idm-lab.org

Language: English - Date: 2005-05-31 06:09:24
194Artificial intelligence / Mathematics / Decomposition method / Precondition / Algorithm / Applied mathematics / Automated planning and scheduling / Hierarchical task network / Constraint programming

Learning HTN Method Preconditions and Action Models from Partial Observations

Add to Reading List

Source URL: www.cse.ust.hk

Language: English - Date: 2009-07-14 20:12:38
195Automated planning and scheduling / Planning Domain Definition Language / Motion planning / NP / PP / Indeterminism / Probability / Theoretical computer science / Computational complexity theory / Applied mathematics

Probabilistic Planning vs Replanning Iain Little and Sylvie Thi´ebaux National ICT Australia & Computer Sciences Laboratory The Australian National University Canberra, ACT 0200, Australia

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2009-07-10 09:25:03
196Operations research / Mathematical optimization / Combinatorial optimization / Convex optimization / Heuristic function / Planning Domain Definition Language / Admissible heuristic / A* search algorithm / Linear programming / Artificial intelligence / Automated planning and scheduling / Heuristics

Optimal Planning with Global Numerical State Constraints Franc Ivankovic, Patrik Haslum, Sylvie Thi´ebaux, Vikas Shivashankar and Dana S. Nau Optimisation Research Group, NICTA Dept. of Comp. Sci., and Inst. for Sys. Rs

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2014-03-14 07:54:37
197Science / Planning Domain Definition Language / State space / Mathematical model / Discretization / State variable / LTI system theory / Automated planning and scheduling / State observer / Mathematics / Control theory / Applied mathematics

A Planning Based Framework for Controlling Hybrid Systems Johannes L¨ohr, Patrick Eyerich, Thomas Keller and Bernhard Nebel Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-Allee[removed]

Add to Reading List

Source URL: gki.informatik.uni-freiburg.de

Language: English - Date: 2012-05-24 11:02:21
198Scheduling / Mathematical optimization / Management / Automated planning and scheduling / Net present value / Microeconomics / AD OPT /  division of Kronos / Business / Operations research / Planning

10 Questions to Ask About Your Long-term Planning Process Minemax Pty Ltd August 2012 www.minemax.com

Add to Reading List

Source URL: www.minemax.com

Language: English - Date: 2012-10-22 04:01:29
199Action description language / Epistemology / Knowledge representation / STRIPS / Planning Domain Definition Language / Frame problem / Artificial intelligence / Automated planning and scheduling / Logic programming

11 PLANNING In which we see how an agent can take advantage of the structure of a problem to construct complex plans of action.

Add to Reading List

Source URL: aima.cs.berkeley.edu

Language: English - Date: 2002-11-14 09:04:38
200Computer programming / Constraint satisfaction / Constraint graph / Local consistency / Logic programming / Constraint optimization / Hierarchical task network / Bart Selman / Automated planning and scheduling / Constraint programming / Software engineering / Theoretical computer science

C o n s t r a i n t P r o g r a m m i n g Constraints and AI Planning

Add to Reading List

Source URL: www.ai-center.com

Language: English - Date: 2005-12-27 13:41:27
UPDATE